We characterise the intermediate logics which admit a cut-free hypersequent calculus of the form \, where \ is the hypersequent counterpart of the sequent calculus \ for propositional intuitionistic logic, and \ is a set of so-called structural hypersequent rules, i.e., rules not involving any logical connectives. The characterisation of this class of intermediate logics is presented both in terms of the algebraic and the relational semantics for intermediate logics. We discuss various—positive as well as negative—consequences of this characterisation.

A residuated lattice is said to be integrally closed if it satisfies the quasiequations \ and \, or equivalently, the equations \ and \. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed residuated lattice is integral. It is proved that the mapping \\backslash {\mathrm {e}}\) on any integrally closed residuated lattice is a homomorphism onto a lattice-ordered group. A Glivenko-style property is then established for varieties of integrally closed residuated lattices with respect (...) to varieties of lattice-ordered groups, showing in particular that integrally closed residuated lattices form the largest variety of residuated lattices admitting this property with respect to lattice-ordered groups. The Glivenko property is used to obtain a sequent calculus admitting cut-elimination for the variety of integrally closed residuated lattices and to establish the decidability, indeed PSPACE-completenes, of its equational theory. Finally, these results are related to previous work on BCI-algebras, semi-integral residuated pomonoids, and Casari’s comparative logic. (shrink)

BackgroundDementia care is essential to promote the well-being of patients but remains a difficult task prone to ethical issues. These issues include questions like whether manipulating a person with dementia is ethically permissible if it promotes her best interest or how to engage with a person who is unwilling to recognize that she has dementia. To help people living with dementia and their carers manage ethical issues in dementia care, we developed the CARE intervention. This is an intervention focused on (...) promoting the ethical self-efficacy of people living with dementia and carers, i.e., their confidence that they can manage ethical issues when they occur. The purpose of this paper is to explain and discuss how we have developed the CARE intervention to promote the ethical self-efficacy of people living with dementia, their family, and professional carers through a specific and, we believe, new use of literary texts.MethodsThe CARE intervention has been developed in two phases: First, we conducted a needs assessment of the occurrence of ethical issues in dementia care and the need for an intervention to support people living with dementia and their carers in managing such issues. Second, in a design phase, we developed the CARE intervention to meet identified needs.ResultsTo address identified ethical issues in dementia care we designed the CARE intervention as a workshop format where people living with dementia and carers can meet, discuss literary texts, and deliberate on how to solve such issues. The workshop is structured by the following elements: An agenda of ethical issues, a collection of literary cases exemplifying ethical issues, a moderator with an understanding of dementia care, and an overview of the ethical principles relevant to the discussion of ethical issues. >This workshop concept is operationalized in three applications tailored to meet the specific ethical issues of each of the study´s three target groups: people living with dementia and family carers, professional and family carers, and professional carers.ConclusionWe conclude the paper by stating that it is possible to develop an intervention that promotes the ethical self-efficacy of people living with dementia and family and professional carers. (shrink)

The inevitable need for rationing of healthcare has apparently presented the medical profession with the dilemma of choosing the lesser of two evils. Physicians appear to be obliged to adopt either an implausible version of traditional professional ethics or an equally problematic ethics of bedside rationing. The former requires unrestricted advocacy of patients but prompts distrust, moral hazard and unfairness. The latter commits physicians to rationing at the bedside; but it is bound to introduce unfair inequalities among patients and lack (...) of political accountability towards citizens. In this paper I shall argue that this dilemma is false, since a third intermediate alternative exists. This alternative, which I term 'administrative gatekeeping', makes it possible for physicians to be involved in rationing while at the same time being genuine advocates of their patients. According to this ideal, physicians are required to follow fair rules of rationing adopted at higher organizational levels within healthcare systems. At the same time, however, they are prohibited from including considerations of cost in their clinical decisions. (shrink)

Rationing healthcare is a difficult task, which includes preventing patients from accessing potentially beneficial treatments. Proponents of implicit rationing argue that politicians cannot resist pressure from strong patient groups for treatments and conclude that physicians should ration without informing patients or the public. The authors subdivide this specific programme of implicit rationing, or “hidden rationing”, into local hidden rationing, unsophisticated global hidden rationing and sophisticated global hidden rationing. They evaluate the appropriateness of these methods of rationing from the perspectives of (...) individual and political autonomy and conclude that local hidden rationing and unsophisticated global hidden rationing clearly violate patients’ individual autonomy, that is, their right to participate in medical decision-making. While sophisticated global hidden rationing avoids this charge, the authors point out that it nonetheless violates the political autonomy of patients, that is, their right to engage in public affairs as citizens. A defence of any of the forms of hidden rationing is therefore considered to be incompatible with a defence of autonomy. (shrink)

PhD, Institute of Public Health, Unit of Medical Philosophy and Clinical Theory, University of Copenhagen, Øster Farimagsgade 5, P.O. Box 2099 1014 Copenhagen. Tel: +45 30 32 33 63; Email: s.lauridsen{at}pubhealth.ku.dk ' + u + '@ ' + d + ' '/ /- ->Citizens’ consent to political decisions is often regarded as a necessary condition of political legitimacy. Consequently, legitimate allocation of healthcare has seemed almost unattainable in contemporary pluralistic societies. The problem is that citizens do not agree on (...) any single principle governing priorities among groups of patients. The Accountability for Reasonableness framework suggests an ingenious solution to this problem of moral disagreement. Rather than advocating any substantive distributive principle, its advocates propose a feasible set of conditions, which, if met by decision makers at the institutional level, provide, so it is promised, legitimate decisions. While we agree that A4R represents an important contribution to the priority-setting debate, we challenge the framework in two respects. First, we argue that A4R, and more specifically the relevance condition of A4R, does not enable healthcare institutions to generally distinguish between relevant and irrelevant reasons for priority-setting. Second, we criticize Daniels’ and Sabin's argument that A4R and deliberative democracy constitute necessary and sufficient conditions of a feasible procedure for setting legitimate limits within healthcare. CiteULike Connotea Del.icio.us What's this? (shrink)

We study a logic for deontic necessity and sufficiency, as originally proposed in van Benthem :36–41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of “obligation as weakest permission” from Anglberger et al. :807–827, 2015).

Frederik L. Schodt explores his lifelong fascination with the Heart Sutra: its mesmerizing mantra, its ancient history, the 'emptiness' theory, and the way it is used around the world as a metaphysical tool to overcome chaos and confusion and reach a new understanding of reality--a perfection of wisdom."--Back cover.

Recent studies on mind‐wandering reveal its potential role in goal exploration and planning future actions. How to understand these explorative functions and their impact on planning remains unclear. Given certain conceptions of intentions and beliefs, the explorative functions of mind‐wandering could lead to regular reconsideration of one's intentions. However, this would be in tension with the stability of intentions central to rational planning agency. We analyze the potential issue of excessive reconsideration caused by mind‐wandering. Our response resolves this tension, presenting (...) a model that aligns the roles of mind‐wandering in planning with empirical evidence and the sustained stability of intentions. (shrink)

The aim of this paper is threefold. Firstly, §1 and §2 introduce the novel concept logical akrasia by analogy to epistemic akrasia. If successful, the initial sections will draw attention to an interesting akratic phenomenon which has not received much attention in the literature on akrasia (although it has been discussed by logicians in different terms). Secondly, §3 and §4 present a dilemma related to logical akrasia. From a case involving the consistency of Peano Arithmetic and Gödel’s Second Incompleteness Theorem (...) it’s shown that either we must be agnostic about the consistency of Peano Arithmetic or akratic in our arithmetical theorizing. If successful, these sections will underscore the pertinence and persistence of akrasia in arithmetic (by appeal to Gödel’s seminal work). Thirdly, §5 concludes by suggesting a way of translating the dilemma of arithmetical akrasia into a case of regular epistemic akrasia; and further how one might try to escape the dilemma when it’s framed this way. (shrink)

– The purpose of this paper is to discuss how the use of information technology in schools can influence students’ democratic comprehension., – First, two different ideas of democracy are introduced and how these ideas are linked to cognitivistic and social constructivistic learning theories, respectively, is illustrated. Next, a case study is described, where Engeström’s mediational triangle is used for analysing how the use of interactive whiteboards (IWB) influences the teaching of democracy in a fifth-grade school class., – The paper (...) lists a set of preconditions and recommendations for a use of IWB as support for students’ experience of democracy as a way of living., – As the paper focuses on research design and development of didactical designs, future research and articles can further study the effects of the didactical designs and the democratic comprehension supported hereby. The paper is set in a Danish school context., – It is argued that the IWB can be used as support for developing the students’ democratic comprehension by focusing on and, if necessary, changing the elements of the activity system, e.g. the rules and the roles concerning the use of the IWB., – The paper’s linkage of democratic ideas, learning theory and information technology is relevant for researchers. Teachers can use the paper, as it offers didactical principles for using information technology as support for students’ democratic comprehension. (shrink)

We propose simple nonlinear mathematical models for the legal concept of balancing of interests. Our aim is to bridge the gap between an abstract formalisation of a balancing decision while assuring consistency and ultimately legal certainty across cases. We focus on the conflict between the rights to privacy and to the protection of personal data in Art. 7 and Art. 8 of the EU Charter of Fundamental Rights (EUCh) against the right of access to information derived from Art. 11 EUCh. (...) These competing rights are denoted by ( \(i_1\) ) _right to privacy _ and ( \(i_2\) ) _access to information_; mathematically, their indices are respectively assigned by \(u_1\in [0,1]\) and \(u_2\in [0,1]\) subject to the constraint \(u_1+u_2=1\). This constraint allows us to use one single index _u_ to resolve the conflict through balancing. The outcome will be concluded by comparing the index _u_ with a prior given threshold \(u_0\). For simplicity, we assume that the balancing depends on only selected legal criteria such as the social status of affected person, and the sphere from which the information originated, which are represented as inputs of the models, called legal parameters. Additionally, we take “time” into consideration as a legal criterion, building on the European Court of Justice’s ruling on the right to be forgotten: by considering time as a legal parameter, we model how the outcome of the balancing changes over the passage of time. To catch the dependence of the outcome _u_ by these criteria as legal parameters, data were created by a fully-qualified lawyer. By comparison to other approaches based on machine learning, especially neural networks, this approach requires significantly less data. This might come at the price of higher abstraction and simplification, but also provides for higher transparency and explainability. Two mathematical models for _u_, a time-independent model and a time-dependent model, are proposed, that are fitted by using the data. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

Artifacts are probably our most obvious everyday encounter with technology. Therefore, a good understanding of the nature of technical artifacts is a relevant part of technological literacy. In this article we draw from the philosophy of technology to develop a conceptualization of technical artifacts that can be used for educational purposes. Furthermore we report a small exploratory empirical study to see to what extent teachers’ intuitive ideas about artifacts match with the way philosophers write about the nature of artifacts. Finally, (...) we suggest a teaching and learning strategy for improving teachers’ concepts of technical artifacts through practical activities. (shrink)

This paper discusses the uniqueness thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

Advance directives (ADs) have for some time been championed by ethicists and patient associations alike as a tool that people newly diagnosed with dementia, or prior to onset, may use to ensure that their future care and treatment are organized in accordance with their interests. The idea is that autonomous people, not yet neurologically affected by dementia, can design directives for their future care that caregivers are morally obligated to respect because they have been designed by autonomous individuals. In this (...) paper, we first criticize the idea that ADs can retain moral authority in severe dementia by arguing that it is paradoxical. Second, we consider two arguments that initially seem to refute this critique of ADs, but we eventually dismiss them. The first argument states that ADs retain moral authority in severe dementia because autonomously formed interests, for example, ADs, can only be appropriately discarded by autonomous persons. This we term the historical autonomy argument. We dismiss it by demonstrating how we, in analog cases, are not obligated to continue to respect autonomously formed interests even though they have been discarded under nonappropriate conditions. The second argument is that ADs can be justified by what we term external interests. While we agree that people with severe dementia plausible can be said to have external interests, we show that ADs cannot express such interests and hence cannot be justified by them. We conclude that none of the discussed arguments support the use of ADs and because of this, the idea of ADs should be reassigned. (shrink)

The rejection of an infinitesimal solution to the zero-fit problem by A. Elga ([2004]) does not seem to appreciate the opportunities provided by the use of internal finitely-additive probability measures. Indeed, internal laws of probability can be used to find a satisfactory infinitesimal answer to many zero-fit problems, not only to the one suggested by Elga, but also to the Markov chain (that is, discrete and memory-less) models of reality. Moreover, the generalization of likelihoods that Elga has in mind is (...) not as hopeless as it appears to be in his article. In fact, for many practically important examples, through the use of likelihoods one can succeed in circumventing the zero-fit problem. 1 The Zero-fit Problem on Infinite State Spaces 2 Elga's Critique of the Infinitesimal Approach to the Zero-fit Problem 3 Two Examples for Infinitesimal Solutions to the Zero-fit Problem 4 Mathematical Modelling in Nonstandard Universes? 5 Are Nonstandard Models Unnatural? 6 Likelihoods and Densities A Internal Probability Measures and the Loeb Measure Construction B The (Countable) Coin Tossing Sequence Revisited C Solution to the Zero-fit Problem for a Finite-state Model without Memory D An Additional Note on ‘Integrating over Densities’ E Well-defined Continuous Versions of Density Functions. (shrink)

Triage is a widespread principle for prioritizing patients in emergency departments. The purpose of triage is to ensure that in emergency situations, whenever medical demand exceeds medical supply, limited resources should be directed to the case with the greatest clinical need. Triage fulfills this purpose by ranking patients according to how acute their condition is and then giving priority to the most acute ones. In this paper, I argue that this current practice of triage needs to be supplemented. Contemporary triage (...) is based on a principle of preserving patients’ core capabilities, which is relevant when it comes to prioritizing acute patients above sub‐acute ones, but not for prioritizing among sub‐acute patients, which is the largest group of emergency patients. Henceforth, I propose to supplement triage with what I term the real dialogue model, a framework that, when combined with enhanced professional autonomy for clinical decision‐makers, enables fair prioritizing among sub‐acute patients. (shrink)

Environmental philosophers are often concerned to show that non-sentient things, such as plants or ecosystems, have interests and therefore are appropriate objects of moral concern. They deny that mentality is a necessary condition for having interests. Yet they also deny that they are committed to recognizing interests in things like machines. I argue that either machines have interests (and hence moral standing) too or mentality is a necessary condition for inclusion within the purview of morality. I go on to argue (...) that the aspect of mentality necessary for having interests is more complicated than mere sentience. (shrink)

In a recent paper, Jeanne Peijnenburg and David Atkinson [ Studia Logica, 89:333-341 ] have challenged the foundationalist rejection of infinitism by giving an example of an infinite, yet explicitly solvable regress of probabilistic justification. So far, however, there has been no criterion for the consistency of infinite probabilistic regresses, and in particular, foundationalists might still question the consistency of the solvable regress proposed by Peijnenburg and Atkinson.

This volume is the first collection of articles dedicated to Wittgenstein s thoughts on colour, focusing in particular on his so-called Remarks on Colour, a piece of writing that has received comparably little attention from Wittgenstein scholars. The articles discuss why Wittgenstein wrote so intensively about colour during the last years of his life andwhat significance these remarks have for understanding his philosophical work in general.".

Is there a morally relevant difference between a brain‐damaged human being and a nonhuman animal at the same cognitive and emotional level to justify, say, performing medical experiments on the animal but not the human being? Some hold that the misfortune of the human being allows us to distinguish between them. I consider the nature of misfortunate and argue that an appeal to misfortune fails to distinguish between the human being and the nonhuman animal when the treatment at issue is (...) equally morally serious, since the source of the limitation taken advantage of by performing the medical experiment, whether misfortunate or natural vulnerability, is irrelevant. (shrink)

Lucretius famously argued that if we think death is bad because it deprives us of time we could have had by living longer than we do, then when we are born must be bad too, since we could have been born earlier than we were, and so be deprived of that time as well. John Martin Fischer thinks Lucretius’s symmetry argument fails because we have a bias toward the future. I argue that Fischer’s approach does not answer Lucretius. In contrast (...) to Fischer, I think that we can show an objective difference between the time before our birth and the time after our death, which means that we are justified in adopting different attitudes towards them. I revise a point made by Thomas Nagel that while we might live longer than we do, we cannot exist earlier than we did and remain the same people throughout. (shrink)

In this article we explore the state of current ESCM practices in U.K. companies. We develop a conceptual framework that draws upon the stakeholder,resource-based, and power-dependence perspectives and examine this framework in light of empirical evidence concerning ESCM in 166 UK companies. Using a combination of qualitative and quantitative methods, our evidence suggests that around 50% of sample companies engage in some form of ESCM activity and that experiencing significant external pressure from customers is an important driver of ESCM.

Keine ausführliche Beschreibung für "Erkenntnis und Wertung" verfügbar.

The problem of how to rationally aggregate probability measures occurs in particular when a group of agents, each holding probabilistic beliefs, needs to rationalise a collective decision on the basis of a single ‘aggregate belief system’ and when an individual whose belief system is compatible with several probability measures wishes to evaluate her options on the basis of a single aggregate prior via classical expected utility theory. We investigate this problem by first recalling some negative results from preference and judgment (...) aggregation theory which show that the aggregate of several probability measures should not be conceived as the probability measure induced by the aggregate of the corresponding expected utility preferences. We describe how McConway’s :410–414, 1981) theory of probabilistic opinion pooling can be generalised to cover the case of the aggregation of infinite profiles of finitely additive probability measures, too; we prove the existence of aggregation functionals satisfying responsiveness axioms à la McConway plus additional desiderata even for infinite electorates. On the basis of the theory of propositional-attitude aggregation, we argue that this is the most natural aggregation theory for probability measures. Our aggregation functionals for the case of infinite electorates are neither oligarchic nor integral-based and satisfy a weak anonymity condition. The delicate set-theoretic status of integral-based aggregation functionals for infinite electorates is discussed. (shrink)

The defence of The No Alternatives Argument in a recent paper by R. Dawid, S. Hartmann and J. Sprenger rests on the assumption that the number of acceptable alternatives to a scientific hypothesis is independent of the complexity of the scientific problem. This note proves a generalisation of the main theorem by Dawid, Hartmann and Sprenger, where this independence assumption is no longer necessary. Some of the other assumptions are also discussed, and the limitations of the no-alternatives argument are explored.

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...) aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

This paper formally explores the common ground between mild versions of epistemological coherentism and infinitism; it proposes—and argues for—a hybrid, coherentist–infinitist account of epistemic justification. First, the epistemological regress argument and its relation to the classical taxonomy regarding epistemic justification—of foundationalism, infinitism and coherentism—is reviewed. We then recall recent results proving that an influential argument against infinite regresses of justification, which alleges their incoherence on account of probabilistic inconsistency, cannot be maintained. Furthermore, we prove that the Principle of Inferential Justification (...) has rather unwelcome consequences—formally resembling the Sorites paradox—as soon as it is iterated and combined with a natural Bayesian perspective on probabilistic inferences. We conclude that strong versions of foundationalism and infinitism should be abandoned. Positively, we provide a rough sketch for a graded formal coherence notion, according to which infinite regresses of epistemic justification will often have more than a minimal degree of coherence. (shrink)